#include <tinx/task.h>
#include <tinx/printk.h>
#include <tinx/syscall.h>

void idle_thread()
{
    while (1)
    {
        asm volatile(
            "sti\n"
            "hlt\n");
        yield();
    }
}